How many Adjunctions give Rise to the same Monad?
نویسندگان
چکیده
منابع مشابه
How many Adjunctions give Rise to the same Monad?
Given an adjoint pair of functors F,G, the composite GF naturally gets the structure of a monad. The same monad may arise from many such adjoint pairs of functors, however. Can one describe all of the adjunctions giving rise to a given monad? In this paper we single out a class of adjunctions with especially good properties, and we develop methods for computing all such adjunctions, up to natur...
متن کاملHow Might Deficit Accumulation Give Rise to Frailty?
Frailty is a multiply determined vulnerability state. People who are frail are at risk of many adverse health outcomes, including death. For any individual, this risk can only be expressed probabilistically. Even very fit people can suddenly die or become catastrophically disabled, but their risk of both is much lower than a very frail person, who might nevertheless suddenly succumb without wor...
متن کاملDiscourse Connectives give Rise to Lexical Predictions
A large number of experiments reveals that language comprehension is generally incremental and even predictive (e.g., Tanenhaus & Trueswell, 1995). However, there is also evidence that incoming information across the sentence level does not always immediately update local predictions and affect global interpretation (Sanford & Garrod, 1998). The question therefore is which information from the ...
متن کاملHow spiking neurons give rise to a temporal-feature map: from synaptic plasticity to axonal selection.
A temporal-feature map is a topographic neuronal representation of temporal attributes of phenomena or objects that occur in the outside world. We explain the evolution of such maps by means of a spike-based Hebbian learning rule in conjunction with a presynaptically unspecific contribution in that, if a synapse changes, then all other synapses connected to the same axon change by a small fract...
متن کاملHow to CPS Transform a Monad
CPS transformation is an important tool in the compilation of functional programming languages. For strict languages, such as our web programming language “Rinso” or Microsoft’s F#, monadic expressions can help with structuring and composing computations. To apply a CPS transformation in the compilation process of such a language, we integrate explicit monadic abstraction in a call-by-value sou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2016
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-016-9473-8